First-Order Logical Formalization of Dialogue Models for Natural Language Interface Systems
نویسندگان
چکیده
For the design of natural language interface systems, a number of models and theories have been developed as well as language processing systems. We propose a model of dialogue systems by a rst-order logical formalization based on meta logics. This model captures various concepts of dialogue systems: the concepts of software systems talking about such as time, actions, conditional and causality, the concepts of mental attitudes including speech act. A rst-order logical language for programming dialogue systems is given, which clari es the relationship among theories as dialogue models and architecture as processing systems.
منابع مشابه
Logical Frameworks--A Brief Introduction
A logical framework is a meta-language for the formalization of deductive systems. We provide a brief introduction to logical frameworks and their methodology, concentrating on LF. We use first-order logic as the running example to illustrate the representations of syntax, natural deductions, and proof transformations. We also sketch a recent formulation of LF centered on the notion of canonica...
متن کاملKANTRA - A Natural Language Interface for Intelligent Robots
The future use of advanced technical systems, for example robots in the area of service and maintenance, will lead to high demands for interaction between man-machine andmachine-man to make these systems more easily accessible for human operators. On that account, natural language could be an efficient means to use robots in a more flexible manner. First, it is possible to convey information in...
متن کاملA Transformational Approach to Natural Language Understanding in Dialogue Systems
Natural language understanding in dialogue systems is taken to consist of two subsequent processes: rewrite and understand. The rewriting proces is a transformational proces in which natural language utterances are mapped via a sequence of context-sensitive string to string transformations onto some semantic normal form. In the understand proces an interpretation of the semantic form is made, w...
متن کاملOn Procedure Recognition in the Situation Calculus
The aim of our ongoing research is to give a method to construct intelligent tutoring systems for agents who are executing typical procedures in dynamic environments based on a logical framework. Typical procedures are similar to plans in the sense that they describe the actions an agent should execute to achieve a certain goal. In this paper we address what we consider is the first step toward...
متن کاملA Logical-Form and Knowledge-Base Design for Natural Language Generation
This paper presents a technique for interpreting output demands by a natural language sentence generator in a formally transparent and efficient way. These demands are stated in a logical language. A network knowledge base organizes the concepts of the application domain into categories known to the generator. The logical expressions are interpreted by the generator using the knowledge base and...
متن کامل